1
After Habermas: New Perspectives on the Public Sphere

After Habermas: New Perspectives on the Public Sphere

წელი:
2004
ენა:
english
ფაილი:
PDF, 916 KB
0 / 4.0
english, 2004
3
Chinese Mathematics: A Concise History

Chinese Mathematics: A Concise History

წელი:
1987
ენა:
english
ფაილი:
PDF, 8.35 MB
0 / 0
english, 1987
4
Adapting Proofs-as-Programs : The Curry-Howard Protocol

Adapting Proofs-as-Programs : The Curry-Howard Protocol

წელი:
2005
ენა:
english
ფაილი:
PDF, 1.53 MB
0 / 0
english, 2005
5
Ars Musice: Johannes De Grocheio

Ars Musice: Johannes De Grocheio

წელი:
2011
ენა:
english
ფაილი:
PDF, 1.71 MB
0 / 0
english, 2011
6
Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

წელი:
1965
ენა:
english
ფაილი:
PDF, 4.16 MB
0 / 0
english, 1965
7
Communities of Learning: Networks and the Shaping of Intellectual Identity in Europe, 1100-1500

Communities of Learning: Networks and the Shaping of Intellectual Identity in Europe, 1100-1500

წელი:
2011
ენა:
english
ფაილი:
PDF, 3.19 MB
0 / 0
english, 2011
8
Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965

Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965

წელი:
1967
ენა:
english
ფაილი:
PDF, 4.74 MB
0 / 0
english, 1967
9
Sets, Models and Recursion Theory (Logic Colloquium'65)

Sets, Models and Recursion Theory (Logic Colloquium'65)

წელი:
1967
ენა:
english
ფაილი:
DJVU, 2.14 MB
0 / 0
english, 1967
10
Tractatus de tonis

Tractatus de tonis

წელი:
2017
ენა:
latin
ფაილი:
PDF, 8.61 MB
0 / 0
latin, 2017
11
Growing Ideas of Number (The Emergence of Number)

Growing Ideas of Number (The Emergence of Number)

წელი:
2007
ენა:
english
ფაილი:
PDF, 4.07 MB
0 / 0
english, 2007
12
Formal systems and recursive functions

Formal systems and recursive functions

წელი:
1965
ენა:
english
ფაილი:
DJVU, 1.84 MB
0 / 0
english, 1965
13
Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

წელი:
1965
ენა:
english
ფაილი:
PDF, 10.46 MB
0 / 0
english, 1965
14
The Kingfisher Illustrated Junior Dictionary

The Kingfisher Illustrated Junior Dictionary

წელი:
1997
ენა:
english
ფაილი:
PDF, 34.39 MB
0 / 0
english, 1997
15
Introduction to commercial and entrepreneurial recreation

Introduction to commercial and entrepreneurial recreation

წელი:
1997
ენა:
english
ფაილი:
EPUB, 1.17 MB
0 / 0
english, 1997
16
Constructive Order Types

Constructive Order Types

ენა:
english
ფაილი:
PDF, 6.35 MB
0 / 0
english
17
Constructive Order Types

Constructive Order Types

წელი:
1969
ენა:
english
ფაილი:
DJVU, 998 KB
0 / 0
english, 1969
18
The Dasmariñases, Early Governors of the Spanish Philippines

The Dasmariñases, Early Governors of the Spanish Philippines

წელი:
2016
ენა:
english
ფაილი:
EPUB, 2.47 MB
0 / 0
english, 2016
19
Hernando de Los Ríos Coronel and the Spanish Philippines in the Golden Age

Hernando de Los Ríos Coronel and the Spanish Philippines in the Golden Age

წელი:
2011
ენა:
english
ფაილი:
EPUB, 1.39 MB
0 / 0
english, 2011
20
Constructive Order Types

Constructive Order Types

წელი:
1969
ენა:
english
ფაილი:
PDF, 2.40 MB
0 / 0
english, 1969
21
After Habermas : New Perspectives on the Public Sphere

After Habermas : New Perspectives on the Public Sphere

წელი:
2004
ენა:
english
ფაილი:
PDF, 782 KB
0 / 3.0
english, 2004
22
Adapting Proofs-as-Programs: The Curry Howard Protocol

Adapting Proofs-as-Programs: The Curry Howard Protocol

წელი:
2005
ენა:
english
ფაილი:
PDF, 4.59 MB
0 / 0
english, 2005
23
Improving the Measurement of Consumer Expenditures

Improving the Measurement of Consumer Expenditures

წელი:
2015
ენა:
english
ფაილი:
PDF, 3.59 MB
0 / 0
english, 2015
24
Proof, Computation and Agency: Logic at the Crossroads

Proof, Computation and Agency: Logic at the Crossroads

წელი:
2011
ენა:
english
ფაილი:
PDF, 8.67 MB
0 / 0
english, 2011
26
Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday

Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday

წელი:
1993
ენა:
english
ფაილი:
PDF, 22.25 MB
0 / 0
english, 1993